Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Parser Combinators
Parsing Expression Grammars, Recursive Descent, Monadic Parsing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8676
posts in
151.1
ms
wareya/pred
_
recdec
: Predicated LL (recursive descent) parser in pure rust
github.com
·
9h
·
Discuss:
Hacker News
🔨
Compilers
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
3d
🤖
Program Synthesis
Recursive
Deductive
Verification: A framework for reducing AI
hallucinations
news.ycombinator.com
·
16h
·
Discuss:
Hacker News
📐
Hoare Logic
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
15h
·
Discuss:
DEV
🧮
Z3
The Machine
Learned
Our Language
medium.com
·
1d
·
Discuss:
r/programming
📚
Automata Learning
Oatmeal
-
Constraint
propagation for fun
eli.li
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
Recoll
Semantic
Searches
recoll.org
·
3h
·
Discuss:
Hacker News
📝
Term Rewriting
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
2d
🔀
Brzozowski Derivatives
The Rise of Local Speech
Recognition
oatmealapp.com
·
12h
·
Discuss:
Hacker News
📚
Automata Learning
In (highly
contingent
!) defense of
interpretability-in-the-loop
ML training
lesswrong.com
·
2d
🔁
Fixed-Point Theory
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
19h
·
Discuss:
Hacker News
⏱️
Computational Complexity
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
1d
⚙️
Compiler Design
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
22h
·
Discuss:
Hacker News
⚙️
Compiler Design
Simple
BERT
Models for Relation Extraction and Semantic Role
Labeling
dev.to
·
2d
·
Discuss:
DEV
📚
Automata Learning
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
2d
·
Discuss:
Hacker News
,
r/rust
🐫
Embedded OCaml
Splitwise
alternative that makes
sense
divvy.club
·
20h
·
Discuss:
Hacker News
≤
Order Theory
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🔢
Algebraic Data Types
On the
Reachability
Problem for One-Dimensional Thin
Grammar
Vector Addition Systems
arxiv.org
·
3d
🧮
SMT Solvers
Jokes
on You AI: Turning the
Tables
dev-log.me
·
18h
·
Discuss:
Hacker News
🎮
Verification Games
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
3d
·
Discuss:
Hacker News
🔠
Type-Level Programming
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help